RecordPattern5.agda:15,6-19
Cannot split on argument of non-datatype T b
when checking that the pattern record { f = a } has type T b
